Видео с ютуба Lambda Calculus Church Numerals

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018

Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018

The Ruliology of Lambdas

cs321 lambda programming 1

Properties of the Simply Typed Lambda Calculus (2.2)

Lambda Calculus (Live Recording)

CS442 Video 2.4: Lambda calculus predecessor and subtraction

Computing in λ2 (3.2)

CS442 Video 2.3: Lambda calculus numbers and addition

CSE 340 F16: 11-28-16 "Lambda Calculus Pt. 5"

Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018

12 Algebras and Coalgebras in the Light Affine Lambda Calculus

CS3100 POP - Lec 16 - Lambda Calculus Encoding

Church Encoding

CS3100 POP - Lec 17 - Lambda Calculus Encoding + Simply Typed Lambda Calculus

Peano number and lambda calculus in MiniKanren

Important guideline for Computer Sciences Students

Stephanie Weirich - How to Implement the Lambda Calculus, Quickly

CSE 340 F16: 11-30-16 "Lambda Calculus Pt. 6"